<%@ tag language="java" pageEncoding="ISO-8859-1" import="java.util.*, dk.bris.webdev.*"%>
<%
	Vector<CartEntry> cart = (Vector<CartEntry>)session.getAttribute("cart");
	if(cart.size() > 0) {
		%><jsp:doBody/><%
	}
%>